Heap Reference Analysis Using Access Graphs

Despite significant progress in the theory and practice of program analysis, analysing properties of heap data has not reached the same level of maturity as the analysis of static and stack data. The spatial and temporal structure of stack and static data is well understood while that of heap data seems arbitrary and is unbounded. We devise bounded representations which summarize properties of the heap data. This summarization is based on the structure of the program which manipulates the heap. The resulting summary representations are certain kinds of graphs called access graphs. The boundedness of these representations and the monotonicity of the operations to manipulate them make it possible to compute them through data flow analysis. An important application which benefits from heap reference analysis is garbage collection, where currently liveness is conservatively approximated by reachability from program variables. As a consequence, current garbage collectors leave a lot of garbage uncollected, a fact which has been confirmed by several empirical studies. We propose the first ever end-to-end static analysis to distinguish live objects from reachable objects. We use this information to make dead objects unreachable by modifying the program. This application is interesting because it requires discovering data flow information representing complex semantics. In particular, we discover four properties of heap data: liveness, aliasing, availability, and anticipability. Together, they cover all combinations of directions of analysis (i.e. forward and backward) and confluence of information (i.e. union and intersection). Our analysis can also be used for plugging memory leaks in C/C++ languages.Comment: Accepted for printing by ACM TOPLAS. This version incorporates referees' comment

Liveness-Based Garbage Collection for Lazy Languages

We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data. The result of the analysis is used to preserve only live data---a subset of reachable data---during garbage collection. The result is an increase in the garbage reclaimed and a reduction in the peak memory requirement of programs. While this technique has already been shown to yield benefits for eager first-order languages, the lack of a statically determinable execution order and the presence of closures pose new challenges for lazy languages. These require changes both in the liveness analysis itself and in the design of the garbage collector. To show the effectiveness of our method, we implemented a copying collector that uses the results of the liveness analysis to preserve live objects, both evaluated (i.e., in WHNF) and closures. Our experiments confirm that for programs running with a liveness-based garbage collector, there is a significant decrease in peak memory requirements. In addition, a sizable reduction in the number of collections ensures that in spite of using a more complex garbage collector, the execution times of programs running with liveness and reachability-based collectors remain comparable

Targeted therapy of osteosarcoma with radiolabeled monoclonal antibody to an insulin-like growth factor-2 receptor

Osteosarcoma (OS) represents 3.4% of all childhood cancers with overall survival of 70% not improving in 30 years. The consistent surface overexpression of insulin-like growth factor-2 receptor (IGF2R) has been reported in commercial and patient-derived xenograft (PDX) OS cell lines. We aimed to assess efficacy and safety of treating PDX and commercial OS tumors in mice with radiolabeled antibody to IGF2R. IGF2R expression on human commercial lines 143B and SaOS2 and PDX lines OS-17, OS-33 and OS-31 was evaluated by FACS. The biodistribution and microSPECT/CT imaging with 111Indium-2G11 mAb was performed in 143B and OS-17 tumor-bearing SCID mice and followed by radioimmunotherapy (RIT) with 177Lutetium-l2G11 and safety evaluation. All OS cell lines expressed IGF2R. Biodistribution and microSPECT/CT revealed selective uptake of 2G11 mAb in 143B and OS17 xenografts. RIT significantly slowed down the growth of OS17 and 143B tumors without local and systemic toxicity. This study demonstrates the feasibility of targeting IGF2R on OS in PDX and sets the stage for further development of RIT of

Freeze-Dried Ham Promotes Azoxymethane-Induced Mucin-Depleted Foci and Aberrant Crypt Foci in Rat Colon

Processed and red meat consumption is associated with the risk of colorectal cancer. Meta-analyses have suggested that the risk associated with processed meat is higher. Most processed meats are cured and cooked, which leads to formation of free nitrosyl heme. We speculated that free nitrosyl heme is more toxic than native myoglobin. The promoting effect of a freeze-dried, cooked, cured ham diet was looked for in a 100-day study. Colon carcinogenesis endpoints were aberrant crypt foci and mucin depleted foci (MDF). A second study (14 days) was designed 1) to compare the effect of ham, hemoglobin, and hemin; and 2) to test the effect of sodium chloride, nitrite, and phosphate in diet on early biomarkers associated with heme-induced promotion. In the 100-day study, control and ham-fed rats had 3.5 and 8.5 MDF/colon, respectively (P < 0.0001). Promotion was associated with cytotoxicity and lipid peroxidation. In the short-term study, cytotoxicity and lipid peroxidation of fecal water, and the urinary marker of lipid peroxidation, increased dramatically in ham- and hemin-fed rat. In contrast, the hemoglobin diet, sodium chloride, nitrite, phosphate diet had no effect. Freeze-dried cooked ham can promote colon carcinogenesis in a rodent model. Hemin, but not hemoglobin, mimicked ham effect on early biochemical markers associated with carcinogenesis

The simulation and design of an on-chip superconducting millimetre filter-bank spectrometer

Superconducting on-chip filter banks provide a scalable, space saving solution to create imaging spectrometers at millimetre and submillimetre wavelengths. We present an easy to realise, lithographed superconducting filter design with a high tolerance to fabrication error. Using a capacitively coupled λ/2 microstrip resonator to define a narrow (λ/Δλ=300) spectral pass band, the filtered output of a given spectrometer channel directly connects to a lumped-element kinetic inductance detector. We show the tolerance analysis of our design, demonstrating <11% change in filter quality factor to any one realistic fabrication error and a full filter-bank efficiency forecast to be 50% after accounting for fabrication errors and dielectric loss tangent

BICEP3: a 95 GHz refracting telescope for degree-scale CMB polarization

BICEP3 is a 550 mm-aperture refracting telescope for polarimetry of radiation in the cosmic microwave background at 95 GHz. It adopts the methodology of BICEP1, BICEP2 and the Keck Array experiments - it possesses sufficient resolution to search for signatures of the inflation-induced cosmic gravitational-wave background while utilizing a compact design for ease of construction and to facilitate the characterization and mitigation of systematics. However, BICEP3 represents a significant breakthrough in per-receiver sensitivity, with a focal plane area 5$\times$ larger than a BICEP2/Keck Array receiver and faster optics ($f/1.6$ vs. $f/2.4$). Large-aperture infrared-reflective metal-mesh filters and infrared-absorptive cold alumina filters and lenses were developed and implemented for its optics. The camera consists of 1280 dual-polarization pixels; each is a pair of orthogonal antenna arrays coupled to transition-edge sensor bolometers and read out by multiplexed SQUIDs. Upon deployment at the South Pole during the 2014-15 season, BICEP3 will have survey speed comparable to Keck Array 150 GHz (2013), and will significantly enhance spectral separation of primordial B-mode power from that of possible galactic dust contamination in the BICEP2 observation patch.Comment: 12 pages, 5 figures. Presented at SPIE Astronomical Telescopes and Instrumentation 2014: Millimeter, Submillimeter, and Far-Infrared Detectors and Instrumentation for Astronomy VII. To be published in Proceedings of SPIE Volume 915